Testbed for Development and Verification of Hybrid Localization Systems
نویسندگان
چکیده
In this paper a testbed for development and verification of hybrid localization systems is presented. It allows for systematic analysis of hybrid localization methods and speed up the development of new schemes. The proposed testbed platform is composed of subsystem for sequential data collection and testing infrastructure that can be used for investigating the localization mechanisms in controllable environment. Keywords—Hybrid Localization; Wireless systems
منابع مشابه
Towards Provably Safe Control for Smart Wheelchairs
We propose verification techniques from hybrid control theory to address safety issues in the indoor operation of powered wheelchairs. Verification through hybrid system reachability can provide a mathematical guarantee of safety, where safety is defined as the ability of the system to remain within a desired subset of the state-space. Current efforts are in developing a general algorithm for v...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملDevelopment of a Scalable Testbed for Mobile Olfaction Verification
The lack of information on ground truth gas dispersion and experiment verification information has impeded the development of mobile olfaction systems, especially for real-world conditions. In this paper, an integrated testbed for mobile gas sensing experiments is presented. The integrated 3 m × 6 m testbed was built to provide real-time ground truth information for mobile olfaction system deve...
متن کاملAcumen: An Open-Source Testbed for Cyber-Physical Systems Research
Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorousbut-practical next-generation tools can deliver to developers of CyberPhysical Systems. Like verification tools, a design goal for ...
متن کاملControl Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کامل